On parallelotope configuration

Tomographic feature detection and classification using parallelotope bounded error estimation

We give a novel method for performing statistically signi cant detection of speci ed object features which operates directly on X-ray (Gaussian) or radio-isotope (Poisson) tomographic projection data. The method is based on constructing an exact (1 )100% con dence region on the object derived by backprojecting a projection-domain con dence region into object space. The projection-domain con den...

On Weighted Configuration Logics

We introduce and investigate a weighted propositional configuration logic over a commutative semiring. Our logic, which is proved to be sound and complete, is intended to serve as a specification language for software architectures with quantitative features. We extend the weighted configuration logic to its first-order level and succeed in describing architecture styles equipped with quantitat...

Some Thought on Configuration Processes

For example, for problem of building a software system from modules, the components are a modules; the ports are the variables which need values or provide values; the constraints are descriptions of the number and types of values needed, or constraints about the compatibility of one module with another; and the description of the desired configuration is the user’s description of what the soft...

Configuration Spaces on Punctured Manifolds

The object here is to study the following question in the homotopy theory of configuration spaces of a general manifold M : When is the fibration Fk+1(M) → Fr(M), r < k + 1, fiber homotopically trivial? The answer to this question for the special cases when M is a sphere or euclidean space is given in [4]. The key to the solution of the problem for compact manifolds M is the study of an associa...

Configuration Theorems on Bipartite Frameworks